Fix non-debug build.
authorkaf24@firebug.cl.cam.ac.uk <kaf24@firebug.cl.cam.ac.uk>
Fri, 13 Jan 2006 10:38:33 +0000 (11:38 +0100)
committerkaf24@firebug.cl.cam.ac.uk <kaf24@firebug.cl.cam.ac.uk>
Fri, 13 Jan 2006 10:38:33 +0000 (11:38 +0100)
commit4c1b84163ec5c7f7fdb02290aa686a456cc8ec72
tree42ed0b46d0a921f3f29b75c7579865727853151e
parentcc00657854df4e868598b6447ea5599798604da9
Fix non-debug build.

Signed-off-by: Keir Fraser <keir@xensource.com>
xen/common/sched_bvt.c